281. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
282. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C.H.A. Koster
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
283. Methods of algorithmic language implementation
پدیدآورنده : edited by A. Ershov and C. H. A. Koster
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
284. Modeling decisions for artificial intelligence :
پدیدآورنده : Vicenç Torra, Yasuo Narukawa, Isabel Aguiló, Manuel González-Hidalgo (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence-- Mathematical models, Congresses.,Computer simulation, Congresses.,Decision making-- Mathematical models, Congresses.,Artificial Intelligence.,Computers and Society.,Data Mining and Knowledge Discovery.,Math Applications in Computer Science.,Mathematical Logic and Formal Languages.,Systems and Data Security.,Artificial intelligence-- Mathematical models.,Artificial intelligence.,Computer security.,Computer simulation.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Data mining.,Decision making-- Mathematical models.,Ethical & social aspects of IT.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
Q334
285. Modeling in Computer Graphics :
پدیدآورنده : edited by Bianca Falcidieno, Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer graphics -- Congresses.,Computer graphics.,Computer science.
رده :
T385
.
E358
1993
286. Modelling and implementation of complex systems :
پدیدآورنده : editors Salim Chikhi, Abdelmalek Amine, Allaoua Chaoui, Djamel Eddine Saidouni.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer algorithms, Congresses.,Computer science, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer algorithms.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Software engineering.
رده :
QA75
.
5
287. Multi-agent systems and agreement technologies :
پدیدآورنده : Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
288. NASA Formal Methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
289. NASA Formal Methods
پدیدآورنده : \ Klaus Havelund , Gerard Holzmann, Rajeev Joshi (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.
رده :
.
N32
2015
E-Book
,
290. NASA Formal Methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
291. NASA Formal Methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Formal methods (Computer science)
رده :
QA76
.
9
.
F67
N45
2019
292. NASA formal methods :
پدیدآورنده : Alwyn E. Goodloe, Suzette Person (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Fault-tolerant computing, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.
رده :
QA76
.
9
.
F67
N46
2012eb
293. NASA formal methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ;
294. NASA formal methods :
پدیدآورنده : Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
295. NASA formal methods :
پدیدآورنده : Julia M. Badger, Kristin Yvonne Rozier (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
F67
N46
2014
297. New trends in emerging complex real life problems :
پدیدآورنده : Patrizia Daniele, Laura Scrimali, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Mathematical optimization, Congresses.,Operations research, Congresses.,Mathematical optimization.,Operations research.
رده :
QA402
.
5
.
I58
2018
298. Niʻmatnāmah-yi Nāṣiruddīn Shāhī.,1. Empire in the afternoon: the interwar years -- 2. The sea change of empire: the effects of World War II -- 3. Instability and uncertainty: the postwar situation -- 4. Pronouncements, denunciation, and the search for ideology: international public opinion and decolonization -- 5. Countryside and city: the two landscapes of decolonization -- 6. 'Gotta be this or that': the problems of independence -- 7. Outside in: colonial migration -- 8. Land and language: concerns over the perceived continuing European presence -- 9. In the wake of the past -- 10. Beyond empire: current issues and conditions in the study of imperialism and decolonization. 0
پدیدآورنده : translated by Norah M. Titley. ,Raymond F. Betts.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
299. Niʻmatnāmah-yi Nāṣiruddīn Shāhī.,0415325293 (Paperba
پدیدآورنده : translated by Norah M. Titley. ,edited by Frederick W. Kagan and Christian Kubik.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
